1. Algebraic computability and enumeration models : recursion theory and descriptive complexity
المؤلف: Cyrus F. Nourani
المکتبة: (طهران)
موضوع: ، Functor theory,، Model theory,، Computable functions,، Algebra, Homological,، Kleene algebra
رده :
QA
169
.
N68A4


2. Functorial Model Theory :
المؤلف: Cyrus F Nourani
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
رده :
QA169
.
C978
2014

